, strategyproofness, constrained efficiency, weak anonymity and weak consistency, then it is either the no-trade rule or a fixed-tax core … rule. For the latter rules, whenever any agent exchanges his object, he pays the same fixed tax (a lump sum payment which … final assignment using the agents' valuations adjusted with the fixed tax if the induced preferences are strict. …