 The set-theoretic reduction of a function yields a set of pairs (in general, a set of tuples). In set theory (assuming well-foundedness, of course) a pair (e.g., \(\{\{ a\},\{ a,b\}\}\)) is never identical to either of its two elements. Therefore, the main question concerning a mathematical model of CL is how to deal with self-application.