Identifies data errors with certainty. Examples are a geographic code for a Canadian province that does not exist in a table of acceptable geographic codes.