Set

Term Rewriting Turtles all the way down Language definitions are often based on significant tacit knowledge.