I think you also forgot:

  * Don't trust a compiler that has been compiled with an untrustworthy compiler... [1]

[1] http://cm.bell-labs.com/who/ken/trust.html (well worth the read)