Update contradiction.md