This is true of truly skillful people in their craft as well.

I know people, who initialize all required variables and write the logic after. which used to feel bonkers to me until I realized, they've done enough practice and memorization to be able to figure what they would need 10 steps down the line.

this does show that, models have a better model of the task and the expected end state.