История игрока ∀x(¬◇⊥)