Ahh, got it: > There must be an error in reasoning, but I can't figure out where it > is... Consider 3 pairs: (1, 2), (2, 3), (1, 3), first is put in the first line, second in the second, and third in the first, resulting in the 3 being contained in both. Simply folding lines together solves it.