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