Finansujemy dowód. Przekierowując użyteczną energię do globalnego superkomputera, który udowodni wszystko i wszelkie rzeczy.