02-reduce/ Up to toIO
02-reduce.