Pitchers continue to get injured while batting, so should baseball continue to require NL pitchers to hit?