Text: On Dave's world, the cardinal rule of logic was that the symbol was not the thing--and work done on symbols had to be translated by hard work into reality.
Entailment: On Dave's world, the symbol was not real.
Contradiction: On Dave's world, the symbol was the real thing.