Until now, the most general fragment of ZX-diagrams admitting efficient circuit extraction lacked a complete set of rewriting ...