The D-Completeness of T→