3 ms·The Kevin Buzzard post linked at the top says they budgeted £1M over 5 years for a smaller proof.by nearbuy 1mo agoThe Kevin Buzzard post linked at the top says they budgeted £1M over 5 years for a smaller proof.