Tulevaisuudessa lähes kaikki laitteistot ja ohjelmistot varmennetaan virallisesti ja todistetaan oikeiksi, samoin matematiikka ja fysiikka.