Should the National League institute the designated hitter?