derivation trees