Ordered Pair/Kuratowski Formalization/Warning

Warning
The weakness of the Kuratowski formalization of the ordered pair shows up when $a = b$:

Thus the ordered pair degenerates into the set $\set {\set a}$.

Most works on this subject gloss over this point, and indeed, completely fail to mention it.