dS: void = ...