There will be a DH inducted into the HOF at some point. Might be Edgar, might not. It will happen because the National League is now the only league in all of baseball not using the DH. College uses it, the minors use it, the Japanese use it.