requestReset(string username, string reset) {
  assume exists //accounts/account[username];
 
  assume not exists //accounts/account[username]/code; # account is already validated.
 
 
  if not exists //accounts/account[username]/reset then
    insert //accounts/account[username]/reset
  fi
  update //accounts/account[username]/reset
}