setting to participatory budgeting. We define novel proportionality axioms for participatory
budgeting and test them on known proportionality-driven rules such as Phragm\'en and Rule
X. We investigate logical implications among old and new axioms and provide a systematic
overview of proportionality criteria in participatory budgeting.