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 $\left\{\left\{{a}\right\}\right\}$.

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