called min-weight matching, will produce error chains by canonical rule tomorrow