done my ebnf