I'm not saying he proves anything but he certainly knows something about what he's talking about and the OP asked "why not rewrite" and Spolsky offers a number of reasons why. They might not apply here but they just as well might.