Added classical Stone duality.