"'... It depends upon what the meaning of the word "is" is.' Maybe there 'is' no prenup, but there was a prenup, and it just got superseded — fancy legal-speak for 'supplanted' or 'replaced' — by a separation agreement."
Writes David Lat in "Bill And Melinda Gates Are Divorcing; Do They Have A Prenup?/The answer is... it's complicated." (Substack).
There's a petition for divorce that has a section on "Written Agreements" and then lists only a separation agreement. Lat explains why you can't conclude that there was never a pre-nup agreement.
(To comment, email me here.)