 Incidentally, although, in light of the BHK interpretation of '\(\vee\)', the first of our two constructive statements classically equivalent to the classical Continuum Hypothesis might appear to be stronger than \(\textrm{CH}\), since the latter implies the law of excluded middle it is constructively equivalent to the former.