4.1.3+4.1.4
disallow self loops and parallel edges