An Erratum for Some Errata to Automated Theorem Proving Problems