specs for error checkers