contradicter

not defined yet