code: def add(self, term):
          
          if isinstance(term, Conjunction):
              for term_ in term.terms:
                  self.add(term_)
          elif isinstance(term, Term):
              self._terms.append(term)
          else:
              raise TypeError('Not a Term or Conjunction')
docs: Add a term to the conjunction.
  
          Args:
              term (:class:`Term`, :class:`Conjunction`): term to add;
                  if a :class:`Conjunction`, all of its terms are added
                  to the current conjunction.
          Raises:
              :class:`TypeError`: when *term* is an invalid type