Two models for the homotopy theory of ∞‐operads. Issue 4 (6th August 2018)