UNIT 4: TRANSFORMATION, REASONING, AND PROOFS