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