Txantiloi:Str ≤ len