Assertions and future tense semantics