Bean for axiom selection.