[spec] clarify stationary points & chain rule