string("foo" <= "foo")
