But wouldn't the sequence then look like this?

D/C -> D/C -> D/D -> C/D -> D/C

and continue like this forever.

Why does TFTWF defect against C? What's the forgiveness there?