⁸To execute these commands, the SCC tool must be running, and with the above NUMBERS module loaded. Please, check the SCC’s documentation (https://maude.cs.illinois.edu/tools/scc/) for details.