f : N*N -> N
f(x,x) = 3
{? 5 when (2, left(3,5)) is (x, left(y,x)), 7 otherwise ?}