Begin to return updated consensus state and rename local variables to match proof