Da Marinus I car blitt pave ble Formosus løst fra denne ed, og han ble gjeninnsatt som kardinal av Porto. Deretter tier kildene om Formosus, frem til det konklave som valgte ham til pave.