public static Keyword continueConstantProof(ControlFrame frame, Keyword lastmove) {
    lastmove = lastmove;
    { Proposition proposition = frame.proposition;

      frame.truthValue = ((TruthValue)(Stella_Object.accessInContext(proposition.truthValue, proposition.homeContext, false)));
      if (((Boolean)(Logic.$RECORD_JUSTIFICATIONSp$.get())).booleanValue() &&
          (((Justification)(KeyValueList.dynamicSlotValue(frame.dynamicSlots, Logic.SYM_LOGIC_JUSTIFICATION, null))) == null)) {
        { PrimitiveStrategy self000 = PrimitiveStrategy.newPrimitiveStrategy();

          self000.strategy = Logic.KWD_CONSTANT_PROPOSITION;
          ControlFrame.recordGoalJustification(frame, self000);
        }
      }
      if (frame.reversePolarityP) {
        if (Proposition.falseP(proposition)) {
          return (Logic.KWD_FINAL_SUCCESS);
        }
        else {
          return (Logic.KWD_FAILURE);
        }
      }
      else {
        if (Proposition.trueP(proposition)) {
          return (Logic.KWD_FINAL_SUCCESS);
        }
        else {
          return (Logic.KWD_FAILURE);
        }
      }
    }
  }