El texto original dice: