The authors of Discovering Algebra are so proud of their novel new “undoing” method that they put it in the glossary.