$DTM (Explicit)

$DTM (Explicit)