back

We can replace "John" with "he."