Update Non-contradiction.md