Which Modal Machinery Should the Set-Theoretic Potentialist Use? | Synapse