counterproof
not defined yet