i think you're exactly right -- it is trying to take some of the mental tricks that "good at math" students would intuit for themselves, and teach them explicit

i think you're exactly right -- it is trying to take some of the mental tricks that "good at math" students would intuit for themselves, and teach them explicitly. this is good overall, although of course it's possible to ruin anything via bad teaching.