prooflike

not defined yet