start on finite products, part 2