I can't remember the name of this game I played awhile back. It was overhead view and you'd run around and kill people with various weapons. I think you and the enemies were stick figures (though it was overhead)
the main thing I remember about the game is that you could slowdown time.
∀x (∃e (e ∈ x ∧ ∀x ¬(x ∈ e)) ∨ ∃y ¬∃e (e ∈ x ∧ ¬∃z (z ∈ y ∧ z ∈ e ∧ ∀x ¬((x ∈ y ∧ x ∈ e) ∧ ¬(x = z)))))
