counterproof

not defined yet