Opinion: The happy formalist