 Be that as it may, the preservation of constructibility from \(A\) to \(B\) is essential to both reading \(\alpha\) and reading \(\beta\), so on either it is clear that Brouwer had the Proof Interpretation of the implication in mind already in 1907. For further discussion of Brouwer’s passage on the hypothetical judgement and the two readings of it mentioned here, see Kuiper 2004, van Dalen 2004, van Dalen 2008, and van Atten 2009.