Work and Proof