if events of type A and B are associated with one another, then either there is always a chain of events between them…or else we find an earlier event of type C that links up with A and B by two such chains of events. What we do not see is…an inverse fork—in which A and B are connected only with a characteristic subsequent event, but no preceding one. (Horwich, 1987, 97–8)