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

      lastmove = lastmove;
      return (Logic.selectProofResult(emptyP, false, true));
    }
  }