Yes, Robyn, thanks. I'll answer your second question first on the ion channel programs. And really, the short answer is yes. The way those programs are structured, we are granting exclusivity to the target -- to the specific target with that -- with those partners. They're accessing not only technology and capability, but novel cell lines, novel reagents, novel screening technologies, et cetera. So that then drives really a different and a higher economic structure. The 5 programs that are highlighted in the deck today for ion channel and transporter collaboration, both those are with GSK and with Roche, those 5 programs alone have $1 billion in milestones and royalties that are higher than our standard platform license agreements. So those are assets that we're excited about. Obviously, we highlighted the GSK program today. But the short answer is yes. Now to your first question about the different sorts of deals. We have, in recent quarters, leaned into not only license agreements with leaders in the industry, commercial -- those that are investing a lot in R&D and commercialization like Merck and Neurocrine, but also with academic centers, leading academic centers. And just as a general matter of policy and based on confidentiality, we don't disclose specific deal structures, but we have -- and in our corporate deck, we've outlined typical deal terms for all of our deals. And they fall within boundaries that we previously disclosed. There are multiple parts of the deals, there are upfront payments, there are milestones, there are royalties and there's an interplay between those. But in terms of access to the platform, there really are not major differences between the deals signed with, say, a traditional commercial pharma and the academic centers. But on the business side, obviously, it would be highly unusual for an academic center to commercialize the drug on its own. Obviously, these folks have leading-edge biology. They generally want to translate that into therapeutics that then get spun out into companies. So really, the only difference is we'll have special provisions with -- that specifically deal with how those economics will work when the academic institution chooses to out-license the program or form a company around it. But at a basic sense, they're very similar. There are just some specific provisions that are more applicable to the academic setting.