P._Halmos loading ...