Towards exact distributed algorithm