From b633af0e1134289942d322b74a0b77d55bf6f882 Mon Sep 17 00:00:00 2001
From: Marcin Chrzanowski <mc370754@students.mimuw.edu.pl>
Date: Sun, 18 Dec 2022 15:32:16 +0100
Subject: Reword

---
 presentation/presentation.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/presentation/presentation.md b/presentation/presentation.md
index 9652d3d..e2898d4 100644
--- a/presentation/presentation.md
+++ b/presentation/presentation.md
@@ -38,7 +38,7 @@ second-order variables.
 
 **Given**: a tree T.
 
-**Questions**: is a given $k$-tuple of subsets of $T$'s vertices $\vec{W}$, a
+**Questions**: is  $\vec{W}$, a $k$-tuple of subsets of $T$'s vertices, a
 satisfying assignment to $\vec{X}$? I.e., does $T \models \varphi(\vec{W})$.
 
 Note: first-order variables are supported by restricting input sets to
-- 
cgit v1.2.3