4 Metalinguistic Abstraction