Deleted EBNF.txt