counterwitness

not defined yet