 On the other hand, although Kolmogorov’s stipulation is neither unreasonable nor unmotivated, on Brouwer’s descriptive conception of logic there is of course no place for stipulation. For this reason, “Proof Interpretation” seems to be a more appropriate name for an explanation of Brouwerian logic than “BHK Interpretation”.