The designated Extra Player may bat in any position in the batting order .
The Extra Player is a 10th man in the batting order .
The designated man   may bat in any position in the batting order .
The Extra Player is a 10th man in the batting order .