Hi All I have to confess that I don't really understand why a tree has to be either a structural representation or a derivational history. Why can't it be both? If you look at a proof in substructural logic or proof theory, it's a derivational history if anything is. However, it can also profitably be viewed as a representation. Can't we view trees this way too? Ash