1: \begin{abstract}

2:   We use Lurie's symmetric monoidal envelope functor to give two new

3:   descriptions of $\infty$-operads: as certain symmetric monoidal

4:   $\infty$-categories whose underlying symmetric monoidal

5:   $\infty$-groupoids are free, and as certain symmetric monoidal

6:   $\infty$-categories equipped with a symmetric monoidal functor to

7:   finite sets (with disjoint union as tensor product). The latter

8:   leads to a third description of $\infty$-operads, as a localization of a

9:   presheaf $\infty$-category, and we use this to give a simple proof

10:   of the equivalence between Lurie's and Barwick's models for

11:   $\infty$-operads.

12: \end{abstract}

13: