Reinmuth, F. Holistic Inferential Criteria of Adequate Formalization. Dialectica 2020, 999.