DEDUCES

D -> C

SUCCEED