He'll be a HoF because he'll reach 3,000
He'll be a HoF'er even if he doesn't reach 3,000
He won't make the hall of fame if he doesn't reach 3,000
He won't make the hall of fame because of the era he played in