Раз уж я не говорил в этой теме о термах, можно не предложить здесь же и одну из множества интереснейших задач всевозможной сложности того же ряда «найти терм, сворачивающийся в данной интерпретации в данное»: натуральные числа, и есть число

, вычитание числа

(если результат меньше нуля, не применимо либо возвращает исходный аргумент) и умножение на число

, найти все наборы

, могущие привести к любому натуральному числу. Например, годятся

. Эта хотя бы не так скучна.