Try more constraints.