SMS dit: Chapter "Naked Problems". Origin and Reach of the Formalist Interpretations