Timings and EBNF