Proper good quotients for Gₘ-actions | Synapse