> Indeed, it seems the best way to express deep flattening is as you > suggest, and is actually formalized pretty well in the notes we made > at ESOP a few years ago. I think the structure of the analysis > described in those notes matches your description below. Time flies. I'm glad to see I agree with my(prior)self :-).