Managing the Game#

Substitutions, pitching changes, defensive alignments, challenges, undo, and the various ways a game can end.