The stamp duty cut, without anything to replace it in the form of some new property tax, would cost the Exchequer around £9bn ...