static S getPublicKeyOfComputer(S computer) {
  assertComputerID(computer);
  if (eq(computer, computerID()))
    ret getMyPublicKey();
  ret mechMap("Computer Public Keys").get(computer);
}