Introduce ordering on Arc