Here connection is done as primitive; some prefer to derive it from mereology (early Whitehead), some the opposite (late Whitehead, Clarke). In agreement with Varzi (and Tarski), we keep both theories as independent modules.