Profile type: ProfileWithTies
Notes:
Schulze (2011, Table 2) lists Slater as satisfying monotonicity.
Sources: