So I'm not exactly sure the process. Does it just involve submitting an 8-K to that effect? No money out of pocket?