&gt; <i>&quot;Assuming a=0 implies a=0&quot; is absolutely true.</i><p>This is not correct. There is no such thing as absolute truth. Something can only be true within a set of previously agreed constraints and rules. For example, I can simply imagine a scenario where a=0 implies a=0 is considered to be false, because I <i>define</i> it to be so.