TristanTrim comments on Semantic Topological Spaces