tokens: Moreover , for almost - sure reachability and almost - sure Buchi objectives in finitely branching games , we strengthen strong determinacy by showing that one of the players must have a memoryless deterministic ( MD ) winning strategy .