Yes. They have nothing better to do with fedora funds, it goes to gov’t pensions otherwise