do_to_do_doing最完全的归纳