Att skriva om internet är faktiskt inte svårt nu. Det svåra är att se till att den fungerar korrekt. Formell verifiering av koden krävs för att säkerställa att den är korrekt.