Simplify
Discuss case where one tree
edge crosses min-cut