A ::= B | ;