This would mean that the set of correct propositions, are not any set that is available at one point in time (the present), but rather the intersections of sets of propositions over time, qualified by the fact that they are the correct elements, or are elements of the correct set.