SATNET, ARPANET, THEORYNET