Readable reasoning traces are a convenient thing, but they don't have to be true in any way. It's actually dangerous to think that.