The Σ calculus Part 3

Associativity and symmetry reveal themselves again in another postulate
- referred to by `interchange of quantifications'.

Continued