Comment by dhanvanthri

I mean it's literally the same idea as in set theory.

phi is an empty set,

(phi) is a set containing an empty set

((phi)) is a set containing a set containing an empty set

Furthermore, it's one of the only syntax rules; if it's not a list, then the first element is an operator/function.