The Formalist out with Finite