Paul Halmos quotes