При перенесении классической формы доказательства «Предположим, что X, тогда A, иначе B» на ниву расчётов результатов будущих выборов произошла корректировка.
Теперь официально необходимо добавлять третий вариант, так называемое «Соломоново условие». Теперь доказательство звучит так:
«Предположим, что X, тогда A, иначе B, либо всё это не имеет смысла».