Logical proofs layout fixed.