I think most people would be ok with your second formulation too.