Indeed, that's a much better formulation.