added for_all2