Optimality of the Friedman rule in economies with distorting taxes | Synapse