Ah, D1 and D2 have recursion. Ignore my comment.