 key insight behind this chapter is that there is often no need to construct explicit simulations. Instead, we can treat simulation as a task like any other and apply the computability conditions of Chapter 0 to show when a simulation protocol _exists_. These existence conditions are given in terms of the topological properties of the models' protocol complexes 