`Things you can do with Stone duality'