Added code for TDTLogic