The move to formalism reflects pragmatic mathematical convenience, not a principled refutation that ...