UR 5/27 Proofs - Sean-Christopher