L'inventario di v_1>Red è attualmente privato.