m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--presentation/presentation.md2
1 files changed, 1 insertions, 1 deletions
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