To be precise, the cost of repatriation is min[(35% - foreign tax),0].