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