fix race cond in propose and add propose number