On the convergence of reduction-based and model-based methods in proof theory Preprint in arXiv (May 2023)