 While preparing a note on intuitionism for the Bulletin de l’Académie Royale de  Belgique,[29]  I was pleasantly surprised to see the publication of a note by my student Mr. Heyting, which elucidates in a magisterial manner the points that I wanted to shed light upon myself. I believe that after Heyting’s note little remains to be said. (van Dalen 2005: 676)