contradictor

not defined yet