Using 'x' in both ∃x[L(x,j)] and ∃x[L(r,x)] obscures that these quantifiers bind semantically indepe...
This proposition has not been edited since the history system was added.