Yes that's what I meant.
We can't really add the constraint on the model because we have not yet explained how to do that spec wise. There might be a formulation that makes it clearer though. Ideas?