Add BNF 2556.