PAPPS 2022 18