|entries|axiom-choice|