A short combinatorial path from forced collisions to the theorem that large enough structures contain order.