Partially. The insurance policy still cost a couple million dollars, which they had to raise. And they didn't purchase the insurance policy until several years after the competition was launched.