본 논문은 현재 널리 사용되는 (실제) 인과 관계 정의인 Halpern과 Pearl의 정의를 추상화하여, 반사실적 사고가 정의되는 모든 모델에 적용할 수 있도록 확장한다. 이를 통해 역추적이 가능한 모델을 포함한 더 넓은 범위의 모델에 정의를 적용하고, Halpern-Pearl 정의로는 다룰 수 없는 분리, 부정, 신념, 중첩된 반사실적 사고가 포함된 수식에서도 A가 B의 원인인지 판단할 수 있게 한다. 또한, 인과 모델을 넘어 설명에 대한 추상적 정의를 얻고, 인과 모델 내에서도 정의의 특징에 대한 깊은 이해를 얻을 수 있다.