Converting 2-column Proofs to Paragragh Proofs