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

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

3x + 2 = 11

3x = 9

x = 3

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

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