Look at it this way, theft ("A") is illegal ("C"), whereas taxation ("B") is legal ("-C"), right? If A=C and B=C, then A=B, right? But in our example A=C, but B=-C, so they cannot be equal. Therefore, in terms of "linear logic," "taxation" ≠ "theft," IMHO.