Most of the members of Bargaining Unit Number 17 of the government employees' union are computer programmers. Thus it is certain that some of the government employees who are computer programmers, since _______.
What this question is testing
Conclusion
Some people in the Hanson Building are programmers. We need to prove this with certainty.
Evidence
Most of BU17 are programmers. Great. But right now, BU17 and the Hanson Building are in completely different universes -- there is no connection between them.
Evaluate
Think Venn diagrams. You have got a big BU17 circle, and more than half of it is shaded "programmer." You need some of that shading to land inside the "Hanson Building" circle. The trick: if more than half of BU17 are programmers AND more than half of BU17 work in Hanson, those two halves MUST share members. You cannot fit two groups that each contain more than 50% of the same population into completely separate boxes. Pigeonhole principle wins.
Goal
Find the answer that forces enough BU17 members into the Hanson Building to guarantee overlap with the programmer majority.
Reading along? Open the full official question in LawHub — we show a fragment here and keep the reasoning in our own words.