Stone_representation_theorem loading ...