User blog comment:Explorer 767/Pi is 3 -- NOT/@comment-1024726-20091229213107

Even if a =/= 0, a is still equal to b, and thus a _ b = a _ a = 0. --