The inference from L(r,j) to ∃x[L(x,j)] is only valid if names are directly referential, which is a ...