Simplify
Discuss case where
one
tree
edge crosses min-cut