Doesn’t have to be exactly, but it should be at least 20-30% of the final mixture. This ended up at roughly 33% (1 part vinegar, 2 parts mash), but since the chili mash is so thick this helped to thin it out, too.