Jednak Formozus ponowił zaproszenie do Arnulfa w 895 r., a na początku następnego roku Arnulf przekroczył Alpy i wkroczył do Rzymu, gdzie Formozus koronował go na Cesarza Rzymskiego. Następnie armia Franków odjechała, a Formozus zmarł w 896 r. Formozusa zastąpił papież Bonifacy VI, który sam zmarł dwa tygodnie później (15 dni). Lambert i jego matka, cesarzowa , przybyli do Rzymu w czasie, gdy Stefan VI został papieżem, a Synod trupi odbył się bezpośrednio potem, na początku 897 r.
Dominująca interpretacja tych wydarzeń aż do początku XX wieku była prosta: Formozus zawsze był zwolennikiem Karolingów, a jego koronacja Lamberta w 892 roku została wymuszona. Po śmierci Arnulfa i upadku władzy Karolingów w Rzymie Lambert wkroczył do miasta i zmusił Stefana do zwołania Synodu trupiego, zarówno po to, by ponownie potwierdzić swoje roszczenia do korony cesarskiej, jak i być może, by dokonać pośmiertnej zemsty na Formozusie.