An allocation's ordinal efficiency deficit (OED) is defined as the greatest ordinal efficiency loss that can result from its application. More precisely, an allocation's OED is the negative of the greatest total amount by which it may be stochastically dominated by another feasible allocation....