public TermEquality(Term term1, Term term2) { this.term1 = term1; this.term2 = term2; terms.Add(term1); terms.Add(term2); }