 But if you have a thin hydrogen-rich atmosphere and an ocean underneath, the ocean kind of absorbs the ammonia and you're left with methane mostly and carbon dioxide. So that's the idea. Is there a planet like this in our solar system? Are Neptune and Uranus qualified to be Heisian?