D3 does not have recursion (D3 -> T2!D2 -> D2 -> D1).