Writing A Two Column Proof