Dynamical ideals and the axiom of choice | Synapse