El texto original dice así: