fix NACK by using min; update identifier for "Write"
use value in Write message instead of pointer
do not freak out in leader on seeing unexpected Accept messages