JonathanCottor(Nov2024) Formal Cropped