Here are a list of axioms I've formulated. They come from somewhat stupid, often funny coding situations that Scott Brown and myself have come across. A couple of corollaries and theorems are here. Proofs are left as an exercise for the reader.

---

• Axiom I

  long !== float

• Axiom II

  1 != 0

• Corollary II

  X[1] !== X[0]

• Theorem I

  X[1] !== X[1.0]

• Axiom III

  X C- Z_m iff X == X(mod m)

• Corollary III

  X C- Z_m; -X = (m - X)

• Axiom IV

  There is no sun

• Axiom V

  (signed int)-1x !== (unsigned int)-1x

• Axiom VI

  {int x;} x !== 0

• Corollary VI

  msgrcv(mid,...,x,...) is blocking.

• Axiom VII

  [*]VGA Text Console