Harness tax - what checking a proof saves against redoing the work