It's part of the pot. That's fair.
We're probably running out of time here, but in the DRR you mentioned a certain amount about electric vehicles. Is that solely for the government-owned cars, or can other people plug in and use it?
On March 12th, 2020. See this statement in context.