Renamed TicketCounter to TicketPool