Finite from The Formalist