Proposer asks all learners about lock