Pendergest Proofs - 4 Jan 21