remove old proof attempt