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