Helly-type theorems, CAT (0) spaces, and actions of automorphism groups of free groups | Synapse