Is there an introduction to CONTINUOUS LATTICES written specifically for (and ideally BY) real analysts? (completely unrelated:) Is there a word for a (necessarily compact) space X for which the unique map X --> 1 is a proper surjection? Maybe "occupied"? In the latter question, you may interpret "space" in any appropriate sense, for example to mean locale or topos or ASD object or formal space, or whatever you like. Paul PS See you all in Canada (Calgary & Nova Scotia) in June.