On Sat, 19 Jan 2002 14:52:15 +0000, Robin Houston wrote: >Intuitively, a string is shrinkable iff it can be split into >two pieces $A.$B so that ("$B$A" lt "$A$B"). "bar" is shrinkable >because you can split it into b,ar and ("arb" lt "bar").
Talking about intuition... how on earth did you come on the idea for the name? -- Bart.