This is an old revision of the document!
proc(string username, string code) { assume exists //accounts/account[username]/code; # implies existence of the account assume //accounts/account[username]/code = code; remove //accounts/account[username]/code; }