Update specifications

Draft version.