Fixed random axiom selection method.