1. Inversions and contradictions