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