Various proofs — Uncertain author