Réécrire Internet n'est en fait pas difficile maintenant. Ce qui est difficile, c'est de s'assurer que cela fonctionne correctement. Une vérification formelle du code sera nécessaire pour s'assurer qu'il est correct.