remove old proof attempts
remove old proof attempts