⁷Information on how to use the SCC can be found at its web site (https://maude.cs.illinois.edu/tools/scc/), throw MFE’s web site (https://github.com/maude-team/MFE/wiki), or throw Maude’s applications page (https://maude.cs.illinois.edu/w/index.php/Maude_Tools).