Artikeln beskriver ett vanligt mönster där en handling utförs, följt av en annan handling, och sedan den första handlingen återställs (eller dess invers utförs). Detta mönster, "gör något, sedan ångra det första", återfinns både i vardagen och i programmering (t.ex. öppna fil, läs, stäng fil). Att programmatiskt implementera detta idiom, särskilt att bestämma inversen av en funktion, är utmanande i de flesta programmeringsspråk. Programmeringsspråket J har detta idiom inbyggt som en funktion kallad "under". Ett exempel på "under" i J är beräkning av en vektors magnitud ("summa under kvadrat").