  Using the connection of little cubes and locally constant factorization
algebras, we construct an explicit diagram whose colimit is Lurie's
$\infty$-operad $\mathbb E_{B}^{\otimes}$. This will clarify the universal
property of $\mathbb E_{B}^{\otimes}$.
