silentbob comments on Semantic Topological Spaces