Proved properties about weakening
Finished multicut