 According to interpretation \(\alpha\), \(A \rightarrow B\) just means \(A \wedge B\) with the extra information that the construction for \(B\) was obtained from that for \(A\). On this reading \(A \rightarrow B\) can be asserted only after a construction for \(A\) has been found. The idea is clear: namely, to avoid hypothetical constructions, and the use of logic they require, by insisting that a construction be supplied that proves the antecedent. (As will be explained in Section 2.1 of the  supplementary document    Objections to the Proof Interpretation,   Freudenthal (1937b) too has suggested this strategy, albeit with a different motivation than this passage in Brouwer’s dissertation.) But, as van Dalen also notices, it is also in effect a rejection of the hypothetical judgement in the general case where one does not know whether there is a construction for \(A\).