This just in: Hall of Famers are good.
Mariano Rivera, Roy Halladay, Edgar Martinez, and Mike Mussina all etched their name permanently into baseball lore on Tuesday, a culmination of four legendary runs in the majors.
Cooperstown's four new inhabitants on Tuesday, two of whom made it on their first ballot and all of whom posted some gaudy, video game numbers that separated them from the rest of the pack over their careers.
MORE: Ryan Fagan's Hall of Fame ballot
Here are five stats from each new Hall of Famer that makes them, well, Hall of Famers.
Mariano Rivera
1.) Allowed multiple earned runs in just one of his 96 postseason appearances. (2000 World Series.)
2.) One of just three pitchers in MLB history to have 50+ saves in multiple seasons. Eric Gagne, Jim Johnson were the others.
3.) Rivera allowed 11 home runs in his first big league season, 1995, which was the only year he was a starting pitcher. He never allowed more than seven long balls in any of his other 18 seaons.
4.) All-time postseason leader in ERA (0.70), games pitched (96), saves (42), and WPA (11.7).
5.) Allowed just five home runs in 217 ABs to Hall of Famers, including two to fellow Hall of Famer Edgar Martinez.
Roy Halladay
1.) Led the majors in complete games seven times, K/BB five times, innings pitched four times, and BB/9 three times.
2.) Finished in the top five of the Cy Young voting every year from 2006-2011.
3.) One of six pitchers to throw a no-hitter twice in the same season (2010). The second came in the postseason.
4.) Led the MLB with 1414 2/3 innings pitched from 2006-2011.
5.) One of just three pitchers to have multiple 20-win seasons in the AL during the 2000s. Bartolo Colon and Jamie Moyer are the others.
Edgar Martinez
1.) Dominated fellow Hall of Famer Mariano Rivera, hitting .579 with two home runs and six RBI in 19 at-bats. Had the highest batting average of anyone with 10+ ABs against Rivera.
2.) Holds Mariners franchise records in career OBP (.418), total bases (3,718), doubles (514), RBI (1,261), base on balls (1,283).
3.) Led the majors in runs scored, OBP, doubles, batting average, and OPS in 1995.
4.) Had more walks than strikeouts in a season 10 times.
5.) Was in the top 10 in batting average in the AL every year from 1995-1999, a streak that started when he turned 32.
Mike Mussina
1.) Finished in the top 10 of the Cy Young voting nine times.
2.) Ken Griffey Jr. had only eight hits in 56 career ABs with a .186 OBP against Mussina.
3.) Hall of Famers Ivan Rodriguez, Vladimir Guerrero, George Brett, and Mike Piazza combined for 0 home runs in 160 ABs against Mussina.
4.) Had a BB/9 over 2.5 just once in his career.
5.) Won 20 games and finished with the fifth lowest FIP of his career at age 39 in 2008, his final MLB season.