walshak - proofs

April 17th, 2023