for G being _finite natural-weighted WGraph
for EL being FF:ELabeling of G
for W being Walk of G st W is V5() & W is_augmenting_wrt EL holds
0 < W .tolerance EL