!7

html {
  if (!webAuthed()) ret "no";
  /*L injections = cast call(getJavaX(), "getInjections");
  ret "Injections: " + structure(injections);*/
  O multiPort = first(getMultiPorts());
  O resp = call(multiPort, "findResponder", "Truth Table");
  //ret ("Resp: " + resp);
  O main = getMainClass(resp);
  O concepts = get(main, "mainConcepts");
  ret "Statements: " + call(concepts, "countConcepts");
}