constraints using sorted sets