Labeled first assignment