 Holkot contended that the common response of his era to such an argument, was to pose the possibility of a counterfactual past: to say that the proposition “a will be” is true, yet contingently true, and therefore, although it is true, it can never have been true. Holkot argued, the possibility of a counterfactual past differentiated propositions about the future on contingent matters and their equivalents--whether set in the past or present--from propositions about the past and present that are not about such contingent matters. The propositions “a was known by God,” and “a is known by God,” although set in the past and present, are true and yet can never have been true, just like other propositions about the future, because they are about a, and a, as a future contingent, may still not happen. Holkot’s response is recognizable as a version of what in modern discussions is called the Ockhamist solution, although the argument traces back at least to Bonaventure (Slotemaker and Witt 2015, 87–94).