Davis - Senior proofs - dennisjones