counterassertion

not defined yet