Good thing with Apple keyboard is that you cannot “unlearn” a specific word, you have to erase all of the autocomplete history.

So I will have to suffer with “Counterxamples” for a bit