Add matter on Edmonds explanations.
Fix a logical error in BnBVC.