Virtually free groups are infinite, structurally rich objects with complicated subgroup lattices. You would expect that encoding their subgroup behavior requires proportionally infinite machinery. Minasyan proves otherwise: every countable virtually free group embeds in the double of a finite group.
The double of a finite group is a simple construction — two copies of the group amalgamated over a common subgroup. It is itself infinite (a free product with amalgamation), but its entire structure is determined by a finite seed. The embedding result says that all the complexity of a countable virtually free group — its infinitely many subgroups, their intersection patterns, their index relationships — already lives inside this compact container.
This makes the (LR) property fall out almost for free. Property (LR), due to Long and Reid, says every finitely generated subgroup is a retract of a finite-index overgroup. For virtually free groups, this follows because the finite-double embedding pre-encodes all subgroup relationships as retraction data. The global retraction condition, which sounds like it requires checking infinitely many subgroup pairs, is already guaranteed by the finiteness of the seed.
The corollaries extend to groups commensurable with products of free and finitely generated abelian groups, including generalized Baumslag-Solitar groups with finite monodromy and non-cyclic one-relator groups with center.
Infinite complexity in virtually free groups is illusory — their entire countable structure is already encoded in the doubling of a finite seed, so every subgroup relationship is already pre-retracted. The complexity you see in the infinite group is a projection of structure that was already present in a finite object.