Madalynn Senior proofs - pauls