 Thus the original lambda expression (FIX G) is re-created inside itself, at call-point, achieving self-reference.In fact, there are many possible definitions for this FIX operator, the simplest of them being