If the “map” goes to 1.0 only you don’t need the argument to deduce that not every real is represented.