Runtime: better constraint