Correct EBNF