Å skrive om internett er faktisk ikke vanskelig nå. Det vanskelige er å sørge for at den fungerer som den skal. Formell verifisering av koden vil være nødvendig for å sikre at den er korrekt.