We continue to develop the theory of multicategories over verbal categories. This theory includes both the usual category theory and the theory of operads, as well as a significant part of classical universal algebra. We ...