selector{
cond EnvExplored()
}