@stof EBNF?