For me, it's more like a check and balance that isn't always engaged. When I catch a baseball, it is totally decoupled and the catch is automatic. But if I am composing a class, debugging, and similar, it is heavily engaged in thinking through edge cases, etc on the fly.