[JollyElm]

I know some people will click on this thread ready to engage in a battle of WAR stats (ugh!) over whether or not he should be in The Hall, but I actually mean the question quite literally.

Jeff Bagwell was voted into the HOF, but he hasn't yet been inducted, so does one in fact become an official HOF'er when the votes are counted up or does the player have to wait until he is formerly enshrined as a member on a hot summer afternoon in Cooperstown?? So, on June 5, 2017 is Jeff Bagwell a Hall of Famer? Again, I'm speaking LITERALLY. (And, no, there isn't a specific reason why I'm asking. It is just interesting to me.)