Proportional scheduling, split-proofness, and merge-proofness · Study