How do we verify  a minimum cut?