a derived theory from axiom