¿Qué sucederá una vez que se complete la deducción del depósito $PIPPIN ?