Normalized or casefolded imply valid