public static Proposition assertDescriptionImpliesDescription(Description sub, Description renamed_Super, boolean dontupdateP) {
    { Proposition impliesprop = Logic.createImpliesProposition(sub, renamed_Super);

      impliesprop = Proposition.fastenDownOneProposition(impliesprop, false);
      if (!(dontupdateP)) {
        Proposition.updatePropositionTruthValue(impliesprop, Logic.KWD_ASSERT_TRUE);
      }
      return (impliesprop);
    }
  }