Přepisování internetu už není těžké. Těžké je zajistit, aby fungoval správně. Bude nutné formální ověření kódu, aby se ověřilo, že je správný.