Circuits With Multiple Inner Contexts

The interesting aspect of implementing Circuits With Multiple Inner Contexts is that their very structure suggests the order in which each of their pieces should be created.