That makes sense to me, but, as I mentioned in my presentation, you're not counting the federal tax subsidy spent right now for private regimes. This is more or less $1.4 billion a year, so in fact the number would be lower for the federal government.
On October 19th, 2017. See this statement in context.