In this article I object to Le Poidevin's contention that relative identity is beset with an infinite metaphysical regress. I argue, first, that since Le Poidevin's regress argument presupposes a direct theory of reference, it does not apply to accounts of relative identity which reject this account of reference. I argue, second, that Le Poidevin's regress is not inevitable for one who accepts a direct account of reference, since it does not apply to the formal logic of relative identity which (...) van Inwagen uses to articulate and defend the mysteries of the Trinity and the Incarnation. (shrink)