Head_of_S doesn't have any sets.