That is typically funded by the government, because investors want to see the government backing these things. It's about $4 million to do four sectors a year. That is easily recouped by a $10-billion bond issuance.
On May 9th, 2024. See this statement in context.