I thought they’d already concluded that another mummy was Ikhnaton. KV55 iirc? The one that Velikovsky theorized was Smenkhare’s?