I have just one additional question.
We've talked about costs generally, but do you have any idea of how much these things cost to acquire them, maintain, and to update them over time? Could you give us some idea of what the expenditure would be?
On October 20th, 2016. See this statement in context.