Proportionality for Constrained Public Decisions | Synapse