One of the recurring themes of logic is to study how weak the axiom systems can be with which one can still prove the theorems one wants. One way to be sure one has the "minimal" axiom system is a setup where one can prove the axiom sytem from the theorem (the setup of "reverse mathematics"). I will present an example, using nonstandard models of the natural numbers, to show some unexpected blurring of the boundaries between finite and infinite.