A Diagrammatic Algebra for Program Logics