John Roberts's Formalist Nightmare