Continuing from last week, I'll describe an iterated distributive law for compact closed categories, and use this to prove a nerve theorem. I'll also give a graphical description of the embedding of the category of circuit operads into the category of small compact closed categories.