Error-detection function
·