pD: void = ...