10-May-65, Paul Halmos.