I’m sure Church got some of his ideas from this trip to Europe.

– Stephen Cole Kleene