Fixed BNF (3)