Net logic complete