Reflect, Expect, Check, Explain

What is the mathematical behaviour that underpins intelligent practice?