*D_S* doesn't have any sets.