Two Column Proof Example Problems