Reescrever a internet na verdade não é difícil agora. O que é difícil é garantir que está a funcionar corretamente. A verificação formal do código será necessária para garantir que está correto.