What's the overhead in terms of time and whats the actual mechanisms for provability? Additionally, what breaks because of this, surely there are downsides to Extreme Typo Phonetics correction.