string("bar" < "bar")
