Who Created Proofs Involving