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