public static void definitionKeywordAxiomsHandler(Stella_Object self, Symbol selfname, Keyword key, Stella_Object value) {
    Logic.axiomsSetter(self, Logic.combineAxiomLists(Logic.axioms(self), Logic.helpDefineKeywordAxioms(selfname, key, value)));
  }