Найдите входное значение

Вопрос также можно рассматривать в обратном направлении: какой вход даёт нужный результат? «Найти x, при котором f(x) = 11» для f(x) = 3x + 2 раскрывает имя, превращая его в правило, и решает уравнение:

3x + 2 = 11

3x = 9

x = 3

Вычисление идёт от входа к результату; решение — от результата обратно ко входу. То же правило, противоположные направления.

Шаг unfold, заменяющий f(x) тем, что оно обозначает, — единственное новое действие; всё после него — это решение уравнения из первого раздела.