Finite by The Formalist