Tesla and SpaceX CEO Elon Musk and musician Grimes have had their first child together. 

Musk announced the birth of their child Monday evening on Twitter, saying, "Mom & baby all good." In follow-up tweets, Musk wrote that the couple has a baby boy.

One Twitter user asked Musk the name of their child, to which the tech billionaire responded, "X Æ A-12 Musk."

Musk posted a photo of him holding the newborn late on Monday evening. 

pic.twitter.com/lm30U60OtO

— Elon Musk (@elonmusk) May 5, 2020

When asked the baby’s name, Musk tweeted that the kid is named X Æ A-12 Musk.

X Æ A-12 Musk

— Elon Musk (@elonmusk) May 5, 2020

Maybe he’s joking? Musk also posted a picture of the kid with Instagram-filter face tattoos. Perhaps he’s just a funny, funny guy.

pic.twitter.com/chk0Scuixp

— Elon Musk (@elonmusk) May 5, 2020

Thanks :) Never too young for some ink haha

— Elon Musk (@elonmusk) May 5, 2020

But let’s proceed under the assumption that the baby really is named X Æ A-12 Musk — which, given the people involved, seems entirely plausible. (Bloomberg reports that Musk put two of his Bel Air houses up for sale yesterday after tweeting that he was planning to sell “almost all physical possessions” and “own no house.”) Here’s a thought experiment: Would you trade lives, right now, with X Æ A-12 Musk? On the one hand: Glamorous billionaire parents, your entire life ahead of you. On the other hand: Everything else.