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

      if ((arg1Val != null) &&
          Logic.bindArgumentToValueP(arg2, arg1Val, true)) {
        return (Logic.selectTestResult(true, true, frame));
      }
      else if ((arg2Val != null) &&
          Logic.bindArgumentToValueP(arg1, arg2Val, true)) {
        return (Logic.selectTestResult(true, true, frame));
      }
      else {
        return (Logic.KWD_FAILURE);
      }
    }
  }