reduction of lists