On forcing axioms and weakenings of the Axiom of Choice | Synapse