Definition of "contradicts"