Auto-correct implies the existence of auto-rekt (it turns out they are even one and the same)