closeRegistration(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;
}