Possibly replace

If the value fetched from an element in Listing 6 is algebraically less than the current value stored in min: