BNF cores