§ Algebraic graph calculus