Jenerjohn Senior proofs - scottsmadness