 My question is, I think I heard on NPR this morning that J.D. Vance has come out for, I'll call it mesoprestone, but I may have heard, I may have misheard it after listening to you. Do you know whether he's come out for it or not? I believe he has.