The infinite is a convenient abstraction of the finite.