A simple bivalency proof that t-resilient consensus requires tEfficient atomic broadcast using deterministic merge
