a player is elected to the HOF, and then it later comes out he used steroids during his career? What would baseball then do?