vertex and arc insertion reasoned