Thats what I thought at first glance, however, I dont think that works since the volume is changing. By definition, ABV is the concentration of alcohol per volume, so as the volume changes your fraction's denominator does too (since it is alcohol amount divided by volume of liquid).
So I...