counterprove

not defined yet