Proposed document structure for the full specification