corrected syntax of equivalences of networks