Prior upgrades like Euclid proved that | Negation Game