Completeness of the ZH-calculus. - Miriam Backens; Aleks Kissinger; Hector Miller-Bakewell; John van de Wetering; Sal Wolffs (Compositionality, 2023)