That starting from any proof, every chain of reductions leads to a normal proof.

That starting from any proof, there is some chain of reductions leading to a normal proof.

That there is some proof that does not reduce to any normal proof.

That any argument that has a proof at all has some normal proof.