Maybe I could add a little bit to that. I realize that time is of the essence, so I'll try to be very brief here in doing that.
When you say “prosecutions”, it masks something. Normally these don't reach the prosecution stage. A lot of the tools we're using that are directed at avoidance transactions involving havens are not things like double-dips.