For see §24.2(i). For expansions that correspond to (4.19.4)–(4.19.9), change to and use (4.28.8)–(4.28.13).