PAPPS 2022 17