proofs

not defined yet