Added pseudo-code for hasNetwork()