for_all