That would be formal rules, Lean style, and not related to 3 GL languages.