public static Proposition buildConjunctionOfEqualityPropositions(Cons remainingterms, Cons equivalences) {
    if (remainingterms.rest == Stella.NIL) {
      return (Logic.conjoinPropositions(equivalences));
    }
    equivalences = Cons.cons(Logic.buildEquivalenceProposition(Cons.list$(Cons.cons(Logic.SYM_STELLA_e, Cons.cons(remainingterms.value, Cons.cons(Cons.cons(remainingterms.rest.value, Stella.NIL), Stella.NIL))))), equivalences);
    return (Logic.buildConjunctionOfEqualityPropositions(remainingterms.rest, equivalences));
  }