Wouldn't lynch be 7 because the lynch method you are using is majority? Right now it is half, which is not majority.