w

Author: lcnr

src/solve/candidate-preference.md

@@ -49,12 +49,11 @@ where
 
 ### `CandidateSource::ParamEnv`
 
-Once there's a single *non-global* `ParamEnv` candidate, we prefer *all* `ParamEnv` candidates over other candidate kinds.
+Once there's at least one *non-global* `ParamEnv` candidate, we prefer *all* `ParamEnv` candidates over other candidate kinds.
 A where-bound is global if it is not higher-ranked and doesn't contain any generic parameters. It may contain `'static`.
 
-We try to apply where-bounds over other candidates as they are the closest to where the goal
-needs to be proven and the users tends to have the most control over them, so they can most easily
-adjust them in case the preference is incorrect.
+We try to apply where-bounds over other candidates as users tends to have the most control over them, so they can most easily
+adjust them in case our candidate preference is incorrect.
 
 #### Preference over `Impl` candidates