Spot on! I was just thinking about the case of having also complicating constraints. In the vanilla case is exactly as you say.