Formalism Is Back