added until(), fixed AgentIsHere()