thm_FD_newthm