Improve BNF