⁹An alternative possibility is to use the maps specified in the predefined MAP module in Section 8.15.