 However, the book was written in the language of classical mathematics.Extending the ideas to toposes (as generalised spaces) he found himself channelled into constructive mathematics in a geometric form and in "Topical Categories of Domains" he set out a geometrisation programme of, where possible, using this geometric mathematics as a tool for treating point-free spaces (and toposes) as though they had "enough points".Much of his subsequent work has been in case studies to show that, with suitable techniques, it was indeed possible to do useful mathematics geometrically.