12
9
MSO
•
Reachability
:
•
•
Try this:
F
=
9
X.
f
•
Where
f
says:
–
s, t
2
X
–
Every x
2
X has one incoming edge (except t)
–
Every x
2
X has one outgoing edge (except s)