hughes - proofs

December 13th, 2022