The Formalist drops Finite