WIP: improving axiom-choice. Crashes leveldown.