Justin Verlander now has struck out more batters than Johnson, who was considered maybe the first great strikeout pitcher in ...