$TM (Explicit)

$TM (Explicit)