dec should return Tr_exp