Dawn broke, dew settled, and the thinning fog revealed an army of truth function pairs, more than two hundred fifty strong. The crows sent a messenger; they came for war, and they would not rest until mathematical logic dominated our sovereign numbers. We formed a defensive ring, and braced for the onslaught.

The hoard came all in one wave, tearing through additive and multiplicative closure like autumn leaves, before slamming hard against the associative and commutative properties of addition and multiplication. Continue reading