You are aware, I'm sure, that Pope John Paul II was pope in 1980...aren't you?
That's the former Pope to whom I referred.