Even as we have experienced, Lewis builds transitivity into causation by defining causation when it comes to chains out of causal dependency