Halmos, Paul & Iliffe, Alan, Paul & Iliffe