Proof: Hard At Work