¿El contrato $VANA debe ir a cero?