Now we can also get an abstract strategy for the system to win in finite time.