<p>headmates whose names are just random UUIDs</p><p>(they&#39;re pairwise dating, modulo alpha equivalence)</p>