Now downloading Helly-type theorems about sets.pdf...