In article <1990Nov28.220233.2630 at ingres.Ingres.COM> daveb at hydra.Ingres.COM (When a problem comes along . . . you must whip it) writes: >is it reasonable for this to not terminate? The example you posted merely recurses "forever". I couldn't figure out a rewrite that would trigger the phenomenon you seemed to want to discuss.