Before revision:  We construct a dynamic game that implements the Top Trading Cycles allocation under a minimal form of contingent reasoning, related to independence of irrelevant alternatives .
After revision:  We construct a dynamic game that implements the Top Trading Cycles allocation in locally dominant actions under these simple forms of reasoning .