contradictions

where two lines in the library refuse each other.