provides "proof of error"