Yeah but at that point it's probably close enough. Humans can get their own reasoning wrong too so some inaccuracy is acceptable.

Not if the reasoning trace happened before they actually did the change.