Helly type problems in convexity spaces | Synapse