the Ex Partedec2022issue C Bproof21