Riscrivere Internet in realtà non è difficile ora. Ciò che è difficile è assicurarsi che funzioni correttamente. La verifica formale del codice sarà necessaria per assicurarsi che sia corretto.