Proposer gets promise from all Acceptors
Ignore repeat facts sent to learner
Proposer talks to Acceptor at every stage