FA_list_thm-1.pdf