public static Keyword closedSpecialist(ControlFrame frame, Keyword lastmove) {
    { Proposition proposition = frame.proposition;
      Stella_Object argvalue = Logic.argumentBoundTo((proposition.arguments.theArray)[0]);
      boolean closedP = Logic.closedTermP(argvalue);

      lastmove = lastmove;
      if (argvalue == null) {
        return (Logic.KWD_TERMINAL_FAILURE);
      }
      if (((Boolean)(Logic.$REVERSEPOLARITYp$.get())).booleanValue()) {
        closedP = !closedP;
      }
      return (Logic.selectProofResult(closedP, false, true));
    }
  }