concept SuccessfulProxyContact {

  S proxy, target;

  long lastSuccess;

  S targetComputerID;

}

sclass ContactInvisibles {

  L<IP> aware, unaware;

  Concepts in = mainConcepts;

  void doIt() {

    aware = findConcepts(in, IP, aware := true);

    print("Aware computers I can see: " + struct(collect(aware, "ip")));

    unaware = findConcepts(in, IP, aware := false);

    print("Computers I could try to proxy-contact: " + struct(collect(unaware, "ip")));

    for (IP ip : unaware)

      tryToContact(ip.ip);

  }

  void tryToContact(S target) {

    for (IP proxy : aware) pcall {

      print("Trying to contact " + target + " through " + proxy.ip);

      long time = now();

      S answer = sendToPublicCommBotThroughProxy(proxy.ip, target, "test");

      print("  Answer: " + answer);

      if (match("test", answer)) {

        print("  Success!!\n");

        SuccessfulProxyContact contact = uniq(SuccessfulProxyContact, proxy := proxy.ip, +target);

        cset(contact, lastSuccess := time);

        answer = sendToPublicCommBotThroughProxy(proxy.ip, target, forward("Awareness", "get computer id"));

        S computerID = matchOK(answer);

        if (computerID != null)

          cset(contact, targetComputerID := computerID);

        break;

      }

    }

  }

}