Add BNF