Het herschrijven van het internet is eigenlijk nu niet moeilijk. Wat moeilijk is, is ervoor zorgen dat het correct werkt. Formele verificatie van de code zal nodig zijn om ervoor te zorgen dat het correct is.