Stratified Symplectic Spaces and Reduction | Synapse