... and if we do get multiple INTRODUCE1s on a circuit, kill the circuit