•Having < seems to add lots of extra
power
–Will see this later, for fixpoint
logics
–In FO(<) it is even more
surprising
–
•The extra structure (boolean algebra)
seems quite
artificial. Can we get rid of it
?
–Open problem: does < add extra power
over strings
?