Proof that check_errors() is sufficient.