Budget Meter Proving