Das Neuschreiben des Internets ist tatsächlich jetzt nicht schwer. Was schwer ist, ist sicherzustellen, dass es korrekt funktioniert. Eine formale Verifikation des Codes wird erforderlich sein, um sicherzustellen, dass er korrekt ist.