Approve your proof!