 Troelstra and van Dalen specify that the clauses H1–H6 go back to Heyting’s explanation from 1934 (hence “H”). Heyting’s aim had been to clarify the conception of logic in Brouwer’s foundational program in mathematics, which would motivate adding the following clause: