public static void recordClosedNotJustification(ControlFrame frame, Keyword lastmove) {
    if (lastmove == Logic.KWD_UP_FAIL) {
      { Justification self000 = Justification.newJustification();

        self000.inferenceRule = Logic.KWD_CLOSED_NOT_INTRODUCTION;
        self000.proposition = ((frame.proposition.kind == Logic.KWD_FAIL) ? frame.up.proposition : frame.proposition);
        ControlFrame.recordGoalJustification(frame, self000);
      }
    }
    else {
    }
  }