In (7.5.8)–(7.5.10)
and either all upper signs or all lower signs are taken throughout.
See Figure 7.3.4.
For see §6.2(i).