PAPPS 2022 25