Here we are about to go on the conference excursion. The bus will take us to a boat. It's very amusing that the tour company is called "Brouwer's Tours", since Brouwer is a famous name in Dutch mathematical circles and often mentioned during our conference. Here are my friends Freek Wiedijk and Henk Barendregt under the name of Brouwer.