Include in the definition of 'dummy' the time when a player ceases to be dummy - e.g. after the last trick is quitted; at the end of the round; when the auction period starts for the next deal?