Create contradiction.md