categorical quantum mechanics, Conjecture synthesis, graph rewriting, monoidal categories, string diagrams.