premise: 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.
hypothesis: On Dave's world, symbols were merely representations of reality.