static L<Statement> fastLoadStatements() {
  Class main = getBotMainClass("Truth Table");
  O concepts = get(main, "mainConcepts");
  ret map(f fastLoadStatement, (L) call(concepts, "list", "Statement"));
}