Определив множества, Килер включил в общую совокупность еще двоих человек, Баблгама Тейта и Милейшего Клайда, которые затем совершают обмен разумами в каждом из двух множеств. Для того чтобы увидеть процесс в действии, давайте начнем с меньшего множества и упорядочим его.

На представленной ниже диаграмме Сили показано, что именно происходит в эпизоде. Мы видим, что этап возврата разумов в свои тела начинается с обмена разумами между Милейшим Клайдом и Фраем (в теле которого находится разум Зойдберга); затем Баблгам Тейт обменивается разумом с Зойдбергом (в теле которого разум Фрая). После еще двух обменов разум Фрая возвращается в свое тело, а разум Зойдберга – в свое.

Милейший Клайд и Баблгам Тейт все еще перепутаны, поэтому очевидно, что на следующем этапе необходимо вернуть их разумы в свои тела, выполнив всего один обмен – и это возможно, потому что они еще не менялись разумами друг с другом. Однако пока это преждевременно. Маскетбольные гении включены в общую совокупность персонажей, обменявшихся разумами, с целью распутать два множества, поэтому их миссия еще не закончена. Следовательно, они должны оставаться с перепутанными телами и разумами, пока не решат проблему со вторым множеством.

Ниже представлена диаграмма Сили, на которой показано девять обменов разумами в процессе упорядочивания второго множества. Нет надобности анализировать ее пошагово, но общая закономерность показывает, как включение Милейшего Клайда и Баблгама Тейта создает место для маневра, необходимое для разрешения ситуации. Оба персонажа вовлечены в каждый обмен разумами, что объясняет высокую плотность диаграммы в нижней четверти. Милейший Клайд и Баблгам Тейт выступают в качестве сосудов для тех разумов, которые ищут свой дом. Получив тот или иной разум, они тут же совершают такой обмен, чтобы этот разум оказался в конечном счете в подходящем теле. Какой бы разум Клайд и Тейт ни получили, они сразу же передают его в соответствующее тело во время следующего обмена и т. д.

Хотя Килер проделал отличную работу, решив задачу обмена разумами и доказав теорему Футурамы, тем не менее важно отметить, что он либо упустил один момент, либо сознательно проигнорировал его, для того чтобы сделать финал эпизода «Узник Бендера» более эффектным. Речь идет о еще одном, более коротком пути решения этой задачи. Если вы помните, для того чтобы распутать любую ситуацию, необходимо ввести двух новых персонажей. Однако в сценарии, который мы анализируем, одно из упорядочиваемых множеств состоит всего из двух человек (разум Фрая в теле Зойдберга и разум Зойдберга в теле Фрая). Следовательно, они могли бы выступить в качестве двух новых персонажей по отношению к более крупному множеству. Это возможно, поскольку Фрай и Зойдберг еще не обменивались разумами ни с одним персонажем, входящим в него.

Двухэтапный процесс возвращения разумов в свои тела, который имеет место в эпизоде, потребовал сначала четырех обменов, а затем еще девяти, что в сумме дает тринадцать обменов. Напротив, если использовать более короткий путь, то все разумы можно было бы вернуть в свои тела посредством всего девяти обменов.

Использование существующего множества для получения двух дополнительных персонажей, необходимых для распутывания другого множества, впервые проанализировал Джеймс Крайм, математик из Кембриджа (Англия).