For questions about the intricacies of formal or authoritative specifications of programming languages and environments.