Two Column Proof Calculator