Proving the pudding