laxer version constraingt