Germek, M. The Dialectic of Formalization. FV 2022, 42.