4 Metalinguistic Abstraction