✏️ Editing: validateFormalSyntax.js