Operational Description of Round- And Square-Brackets

To complete an operational description of Round-Brackets and Square-Brackets, we will need an axiom that specifies how the two boundaries interact in configurations more complex than the double nesting of Inversion. Here is the James axiom of Arrangement. The axiom specifies an invariant structure across frames.