In philosophical terms, this would be known as a counterfactual dependence test of causation. And there is a philosophical theory that this is more than just a test: that causation itself consists in counterfactual dependence between events.
Prove that if it nof had been the elk would the train arrive on time. Counterfactual dependence
