derivationT