Nedensellik & Kanıt

1 の手法がこの系統にあります。