> the lowercase version is not equal to the uppercase version of the new name. Since this condition is ALWAYS True unless the new name is NULL Nit: it is quite possible for a non-null, non-empty string `s` to have `lower(s) = upper(s)`. E.g. `s='42'`. It just means that `s` consists entirely of characters that don't have lowercase or uppercase counterparts, characters that case-fold to themselves.