This is the same idea as the fixed point of the meta-circular evaluator - the abstract ideal language that lisp models almost exactly.