Continue writing JSON specification