 The word gender did not come up at all. This was not even something that was raised. And now it's become a really central issue to a lot of conservative voters. And Trump's recent VP nomination, J.D. Vance, has actually also been very hardline on this. He introduced a bill recently that would do all this through Congress. So another thing that is deeply unpopular is the high cost of prescription drugs. What do we find in the GOP platform about controlling prescription drug costs and other health care costs?