A theory that must import brute-force uniqueness constraints to block counterexamples reveals its co...