Quantifier Duel

Edit a relation on a small universe, then play a short game where Prover and Spoiler take turns picking values for quantifiers.