We maken de bewijsvoering financieel. We leiden nuttige energie naar een wereldwijde supercomputer die alles en nog wat zal bewijzen.