Haar ron añejo, normalized to 1% abv

Theorem: Let \( G\) be a locally compact topological group. Then \( G \times G \times G \) is naturally equipped with a pirate measure.