public function finishPlayer(Player $player) { $this->players->offsetUnset($player->ordinal()); $this->finishedPlayers[] = $player; }