Language Foundations