(define (free-vars t)
  (define (listadd term lista)
    (if (var? term)
        (append lista (list term))
        (cond [(neg? term)
               (listadd (neg-subf term) lista)]
              [(conj? term)
               (listadd (conj-right term) (listadd (conj-left term) lista))]
              [(disj? term)
               (listadd (disj-right term) (listadd (disj-left term) lista))])))
  (remove-duplicates (listadd t null)))