Bill Pritchard Proofs - lukeh