I introduce a technology which separates algebraic and non-algebraic consequences of the axiom of choice. It can be used to build models of ZF+DC in which for example a given Polish field has a transcendence basis, yet there are no nonprincipal ultrafilters on N, no uncountable universally null sets, no selectors in turbulent orbit equivalence relations, and a strong form of the Fubini theorem holds.