Determine a pair of Kripke models for which there is no bisimulation, but for which the Spoiler has a winning strategy for any bounded bisimulation game.