act a;
init allow({a}, hide({a}, allow({a}, a)));