hasteproof

not defined yet