Fixed axiom resolving