Kind of the same as positing that a Lisp meta-circular evaluator or Smalltalk (syntax) fits on the postcard. There are so many more elaborations on semantics an

Kind of the same as positing that a Lisp meta-circular evaluator or Smalltalk (syntax) fits on the postcard. There are so many more elaborations on semantics and further definitions missing