HPDE 4, Third session (part 1), 9 Oct 2022,