So this is essentially a predictive mental model similar to the one real programmers have while they're coding?