Does tense logic rest on a mistake?