Two Column Proofs Solving With Key