remove 'MUST NOT differ only in case'; covered by the next point