lieproof

not defined yet