I looked at that stuff, @DylanWilson. If you follow the flow of remarks and theorems, there is always something dropped. So I have a pair of approaches I understood I could follow but incomplete.
1. For theorem 2.3.4.4, the unital infinty operad $ E_M, as B_M = E_M_{<1>}$ is a Kan complex, can be written as an assembly of a B_M family of reduced operads. Here it is not clear how to compute that the operads in the family are all equivalent to E_k. Secondly, in 2.3.3.4 it is stated: Given an assembly O \to O', where O' is the assembled infinity operad and O is C family of operads, if O is a …