foldl1, foldr1
and, or