Str ≥ len