 Here, then, is the Brouwerian assertion of \(p\): It is known how to prove p. We will denote this by \(\vdash p\). The words “to prove” must be taken in the sense of “to prove by construction”. [original italics] (Heyting 1930C: 959 [Mancosu 1998: 307])