. . "Leader l chooses (j, l) for nl, where j is a J that l has not used before." . .