The Formalist with Finite