for_all-1