Split the specification into chapters to allow simultaneous editing
Fixed up some constraints on the proxy section