much agents should pay. Each agent receives at most one object and has nonquasi-linear preferences. Nonquasi-linear … strategy-proofness, Pareto-efficiency, individual rationality, and nonnegative payment on the domain that includes nonquasi-linear … preferences describe environments in which large-scale payments influence agents' abilities to utilize objects or derive benefits …