This is an old revision of the document!
openRegistration(string uid, string id) { assume exists //accounts/account[uid]/assistant[id]; assume exists //exercises/exercise[id]; assume not //exercises/exercise[id]/open; update //exercises/exercise[id]/open true; }