Idea Theorem | family_list