Writing Two-Column Proofs