Second State (2nd st)

Prints of proofs which usually contain significant variations from the original