Stone's_representation_theorem loading ...