you can delete everything after "finite" -- that's pretty clear