The Kaufmann–Clote question on end extensions of models of arithmetic and the weak regularity principle - Mengzhou Sun (2024)