At this point I went to Leiden to a conference on "Mathematics: Algorithms and Proofs", while Hennie stayed a few more days with her family and then went home. This is Per Martin-Lõf, from Stockholm, about to begin his lecture. I first saw him lecture in Munich in 1980.