Alex’s Proof 19-20