https://www.batmi.net/why-do-name-change-cases-get-so-hot/