Basic proposer - acceptor interaction works