f == f is 1 f == g is 0 f + 2 == f is 0