A baseball coach is determining the batting order for the team. The team has 9 players, but the coach does not want the pitcher to be one of the first four to bat.