[mlrtime]

That still doesn't explain why the gap needs to narrow if the min/median are rising. The pie can increase, everyone can be better off without shrinking the gap.