A(x, y) = 3
B(x, y) = x + 2