Fun fact: My aforementioned girlfriend with the aforementioned Petra Parker headmate is trans too. When Petra Parker came over to this universe and My girlfriend’s head, she thought she was a cis guy. Eventually, she realised that she was trans and changed her name to Petra. Just one problem, though. My girlfriend is such a big Spidey fan, she not only introjected Spider-Woman, she also changed her name to Petra. So now there are two Petras in her head, which is sometimes very confusing.