Also, I didn't start with set theory to get here. I started with Type theory as foundational.
If one x = x can be trivial to determine But another x = x is infinitely complex then in one single law you have a triviality and infinity.
That's the principle of explosion !