 Gibbard and Harper (1978) elaborated and made public Stalnaker’s resolution of Newcomb’s problem. They distinguished causal decision theory, which uses probabilities of subjunctive conditionals, from evidential decision theory, which uses conditional probabilities. Because in decision problems probabilities of subjunctive conditionals track causal relations, using them to calculate an option’s expected utility makes decision theory causal.