Semi-proximal spaces and normality | Synapse