ExBNF goes well