I have a quick follow-up. You mentioned mining. It seems for us that mining and insurance or financial services are the two biggest, but infrastructure is also important. What are your comments on infrastructure? Do you think that's something we should focus on also?
On June 2nd, 2016. See this statement in context.