  We prove that mu = mu^{< mu}, 2^mu = mu^+ and ``there is a non reflecting
stationary subset of mu^+ composed of ordinals of cofinality < mu'' imply that
there is a mu-complete Souslin tree on mu^+ .
