Runs v2: Constraint check