He'll absolutely be in the HOF. I don't follow the Cards, more of an American League guy and even I know how much of an all-timer Yadier was. Catchers are judged by a different metric, especially one who was a stalwart defender and coach behind the plate. And he did hit a respectable .277 with over 2100 hits and 1000 RBI. HOF for sure.