Metalinguistic abstraction