Profile type: Profile
Notes:
Schulze (2011, Sect. 4.5) proves that Beat Path satisfies monotonicity.
Sources: