A new technical exploration on LessWrong examines the type signature of ontological mismatches. The author argues that differing world-views inevitably dictate divergent actions. This framework feeds into the Rocks to Rules project to categorize binding-types.