Definition:

contradiction