More work on label() calls. flow() init(), and final() calls should be just around
the corner - and an algorithm should also emerge soon-ish.