We consider taxation of exchanges among a set of agents where each agent owns one object. Agents may have different valuations for the objects and they need to pay taxes for exchanges. We show that if a rule satisfies individual rationality, strategyproofness, constrained efficiency, weak...