Unlike the completeness proofs for universal versions of the ZX-calculus [1]}, [2]}, which make use of the ZW-completeness proof via suitable translations between the two respective languages, our proofs of soundness, completeness, and universality are self-contained and don't rely on encoding into another calculus.
