a и b са две частично напълнени кофи с вода . ако 3 литра се прехвърлят от a към b , тогава a ще съдържа една - трета от количеството вода в b . алтернативно , ако 5 литра се прехвърлят от b към a , b ще съдържа една - половината от количеството вода в a . кофа a съдържа колко литра вода ?
"нека a съдържа a, b съдържа b литра, така че ( a - 3 ) / ( b + 3 )  1 / 3 . . . . . . . . ( 1 ) отново , ( b - 5 ) / ( a + 5 )  1 / 2 . . . . . . . . . . . . ( 2 )
divide(multiply(add(add(3, const_3), const_2), divide(3, const_2)), add(const_2, divide(const_1, const_2)))