Introduction to dendroidal topology. Part 4 of 4