I'm going to repeat the answer that it depends on how the revenues are used. The government has not decided how it will use the revenues, and it is authorized to return the revenues entirely to the government—
On May 1st, 2018. See this statement in context.