Thanks! Seems like a lovely teacher and person.

Also, interesting to read about the Moore method (I found vid the Algolia link). If I'll ever do some teaching stuff, I'll try Halmos' flavor of that method :-)