The Pretoria Agreement, negotiated between 23 October and 2 November 2022, is one of the most consequential diplomatic ...