Pattern comments on When do utility functions constrain?