We introduce cross-border shopping and indirect tax competition into a model of optimal taxation. The Atkinson-Stiglitz result that indirect taxation cannot improve the efficiency of information-constrained tax-transfer policies, and that indirect taxes should not be differentiated across goods,...