Halmos, Paul & Iliffe, Alan