M (TM) v D (M)

Linked as: