You are right :-) Shared the elevator with Dana Scott once at a conference in Seattle. Even exited it on the same floor, and we actually had hotel rooms next to each other. But I managed to say nothing to him :-D