Veidne:Str ≤ len