Truth conditions require sensitivity to context of utterance (speaker, time, world), which type-leve...