Object Language === a 📕 Formal Language, used to abstract the logical structure from a 🗯️ Meta Language==