 For example, Premise (1) assumes that propositions describing the future do not come into or go out of existence. It assumes that there are propositions now that can accurately represent every future way things might go. This is a non-trivial logical assumption. You might, for instance, think that different times becoming present and actual (like perhaps possible worlds) have different associated sets of propositions that become present and actual.