Foundations of IDT