9. A fair-division procedure that produces an allocation with the property that no other allocation, achieved by any means whatsoever, can make any one player better off without making some other player worse off is said to be