Lab: Proof Builder

Two-column proofs with the reasons blanked out. Choose the right reason for each step — then check your proof.