 Thus (i) and (ii) are both true with respect to the stated world; hence we have proven, according to Mellor’s own definition of causality, that it is consistent to talk about causal loops. Mellor has not been able to establish any satisfying a priori argument against causal loops or backwards causation.