Constraint.map is concurrent and working with threads finally