sentence1: the zx-calculus , introduced by coecke and duncan is a graphical language for pure state qubit quantum mechanics .
sentence2: the zx-calculus is a high-level and intuitive graphical language for pure qubit quantum mechanics , based on category theory .