Handle all cases in execute_new_axioms.