If ϕ is strictly increasing on the range of f, then f(x)≤f(y) if and only if ϕ(f(x))≤ϕ(f(y)). Quantifying over every y proves that f and ϕ∘f have the same argmin, whether or not a minimum is attained. Squaring therefore preserves the argmin of a nonnegative objective, while squaring a signed objective need not preserve its argmin.