The Theorem on Smooth Formulas is easy to apply and it tells us that this microscopic view is true.  It boils down to a procedure: compute and check that your computation makes sense.