Diagrammatic calculation is a powerful tool that gets near indispensable when one tries to manage some of the newer algebraic structures that have been popping up in the last couple of decades. Concretely, it generalises the underlying structure of expressions to being general graphs, where traditional algebraic notation only supports path- or treelike expressions. This paper demonstrates how to apply the author's Generic Diamond Lemma in diagrammatic calculations, by solving through elementary rewriting techniques the problem of classifying all multigraph invariants satisfying a linear contract—delete recursion. (As expected, this leads one to rediscover the Tutte polynomial, along with some more degenerate invariants.) In addition, a concept of “semigraph” is defined which formalises the concept of a graph-theoretical “gadget”.