The fortunes of formalism

by