Updated BNF