Progress in first spec