I needn’t bother. My original post (linked above) already pointed out the relevant footnote in OBR. That’s how you can tell 1.7billion is missing from Table 2.5

Plug the revised figures back in and that suite of policy measures is no longer covered by proceeds …