Don't give INTERNAL ERROR when abandoning a proof