MA.912.LT.4.8: Construct proofs, including proofs by contradiction.