Här används formeln
Menenligtminforskningfinnsdetfaktisktettlitettypsnittiekvationen
"The proof contains a minor typo: instead of "For any i=1 ... k" it should read "For any i=1 ... k-1". The algorithm fails for i=k, but this does not affect the validity of the proof."
Enligt Wikipedia-inmatningen är det bara 2 extra personer där det behövs för att återställa alla tillbaka till sina rättmätiga kroppar.
Finally, two Globetrotters, Ethan "Bubblegum" Tate and "Sweet" Clyde Dixon, mathematically prove that everyone's minds can be restored using two additional bodies and then successfully do so, with themselves as the extras.