I'll add a check that the formula holds as soon as possible.  However, as it requires some work in the graph class, I would delay this for the next push request, in which a test for the graph class would also be added.