Add Halmos quote.