I would appreciate help understanding the presence and absence of brackets in this particular example, which hopefully will clarify things for me. It is a line from a short proof by contradiction based on the Axiom of Foundation that No Set is an Element of Itself. Why are there brackets on so...