[formalsystem]

Yes you're correct, I'm just giving the intuition that I found helpful to understand the Principle of Least Action.