Proposer and Acceptor Logic Updates