[alg.search] Replace "the following corresponding conditions"

It's not clear which conditions correspond to each overload.

source/algorithms.tex

@@ -4550,12 +4550,16 @@
 The type \tcode{Size}
 is convertible to an integral type\iref{conv.integral,class.conv}.
 
+\pnum
+Let $E$ be \tcode{pred(*(i + n), value) != false}
+for the overloads with a parameter \tcode{pred},
+and \tcode{*(i + n) == value} otherwise.
+
 \pnum
 \returns
 The first iterator \tcode{i} in the range \range{first}{last-count}
 such that for every non-negative integer \tcode{n} less than \tcode{count}
-the following corresponding conditions hold:
-\tcode{*(i + n) == value, pred(*(i + n), value) != false}.
+the condition $E$ is true.
 Returns \tcode{last} if no such iterator is found.
 
 \pnum