Mariano Rivera set the all-time record for saves this afternoon. He is an almost miraculously talented pitcher, and a profoundly decent man. Congratulations.