It is to some extent feasible to investigate (before the time in question) which cell of this partition is the true cell; but it is unfeasible (before the time in question, and without peculiarities of time whereby we could get news from the future) to investigate the truth of propositions that divide the cells.