Absolutely agreed that if D is false -- for example, if increasing SI's incentive to fix P doesn't in fact increase SI's chances of fixing P, or if a withholding+precommitting strategy doesn't in fact increase SI's incentive to fix P, or some other reason -- then the strategy I describe makes no sense.