If tenses are modeled via quantification over times, a time index on propositions serves no addition...