Finds inconsistencies