Not-only Exclusive Leader Induction in Highly Available Systems - View it on GitHub