From fc8c28b4e504c8aa02bbdd531d7265fe882f3ae5 Mon Sep 17 00:00:00 2001
From: Marcin Chrzanowski <mc370754@students.mimuw.edu.pl>
Date: Thu, 7 Oct 2021 13:08:02 +0200
Subject: Add note about FO variables

---
 mgr.tex | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'mgr.tex')

diff --git a/mgr.tex b/mgr.tex
index cfb5bd2..c08e0e6 100644
--- a/mgr.tex
+++ b/mgr.tex
@@ -76,6 +76,10 @@
     $\vec{X}$? In other words, does $T \models \varphi(\vec{W})$?
 }
 
+Though we speak about MSO formulae with second-order variables only, first-order
+variables are also supported simply by restricting to queries in which sets
+assigned to single-order variables are singletons.
+
 \queryproblem[%
     a deterministic bottom-up tree automaton $A$ over ranked alphabet $\Sigma$.
 ]{%
-- 
cgit v1.2.3

