Каква е сумата от всички възможни решения на  x - 3   2 +  x - 3   42 ?
"Денотация  x - 3  като y : y  2 + y  42 - - > y  - 7 или y  6 . Изхвърлете първото решение, тъй като y   x - 3  , така че ' е абсолютна стойност и по този начин не може да бъде отрицателнa . y   x - 3   6 - - > x  9 или x  - 4.
add(add(const_4, 3), subtract(3, const_4))