proofness

not defined yet