Update aip_specification.md