Paul_R._Halmos loading ...