5
Applications
•
Corollary
Over strings,
9
MSO =
8
MSO = MSO
•
•
Does this hold in general ?