Lamport says proposer uses val of max number in responses to prepare