public static Keyword irreflexiveRelationSpecialist(ControlFrame frame, Keyword lastmove) {
    lastmove = lastmove;
    { Proposition proposition = frame.proposition;
      Stella_Object arg1 = Logic.argumentBoundTo((proposition.arguments.theArray)[0]);
      Stella_Object arg2 = Logic.argumentBoundTo((proposition.arguments.theArray)[1]);

      if ((arg1 != null) &&
          Stella_Object.eqlP(arg1, arg2)) {
        return (Logic.selectTestResult(false, true, frame));
      }
      else {
        return (Logic.KWD_FAILURE);
      }
    }
  }