T-Double of DFC