Picks the one proposition in a component that survives a merge; everyone else in the component gets folded into it. Pulled out as a seam so a caller can plug in a different policy.