proofful

not defined yet