with Ramana in Waterstones, proving a theorem from Halmos