If the time of evaluation were absorbed into logical form via quantifiers, context-sensitive tempora...