Txantiloi:Str ≥ len