formal networks