⁵The ACCOUNT module imports modules BOOL, CONFIGURATION, QID, and NAT in different modes. See Section 7.1 for details on the different forms of importation.