public static void linkOriginatedProposition(Stella_Object renamed_Object, Proposition proposition) {
    { List propositions = Logic.originatedPropositions(renamed_Object);

      if (List.nullListP(propositions)) {
        propositions = List.newList();
        Logic.originatedPropositionsSetter(renamed_Object, propositions);
      }
      propositions.push(proposition);
    }
  }