On Oct 2, 2011, at 5:48 PM, Arjun Singri wrote: > But how did it arrive at the conclusion that 'a' was '0' when it is clearly unknown? It inferred it from the dominating equality test. b is known to be 4, so the only way for a+b to equal 4 is if a is zero. John.