Ground-model club containment lemma
= Ground-model club containment lemma
If forcing has the $\kappa$-chain condition for a regular uncountable $\kappa$, every forced club subset of $\kappa$ contains a ground-model club below the forcing condition. Bound the possible witnesses above each ordinal using antichains, then take closure points of the bound function.