Also the nondeterministic and possibly causality-violating behavior of capitalization during typing, autocorrect, and backspacing. Once autocorrect decides a w

Also the nondeterministic and possibly causality-violating behavior of capitalization during typing, autocorrect, and backspacing. Once autocorrect decides a word is capitalized, the keyboard will always do exactly the wrong thing when you try to fix it. You’ll backspace to the first letter, and the shift key will highlight so you capitalize some non-capital word. Or, having been burned by this, you’ll tap shift to turn that off, but it guessed you would do that, so you’re still capitalizing. And if autocorrect changed a name to a common word, good luck capitalizing the name. There is a PhD, and possibly a new branch of physics, to be had here.