 Brouwer also adds that a proposition for which case 4 holds may at some point pass to another case, either because we have in the meantime found a decision method, or because the objects involved in proposition \(\alpha\) in the meantime have acquired further properties that permit to make the decision (as may happen for propositions about choice sequences).