[NOT] SUBSTITUTABLE AT ALL LEVELS

For information on the symbols and conventions of Backus-Naur Form (BNF) syntax, see Appendix A.