static void lispStandardExecutors() {
  // Assert (X).
  lispExecutor("rzryqdohxtczvzgn", voidfunc(Lisp l) {
    l = l.get(0);
    if (!isTrue(callLispEvaluator(l)))
      fail("Not true: " + l);
  });
  
  // Make an empty thought space X.
  lispExecutor("jamvyfwypzbptvle", voidfunc(Lisp l) {
    S name = l.raw(0);
    addThoughtSpace(new ThoughtSpace(name));
  });
  
  // X is empty (thought space)
  lispEvaluator("yvmxaacduvvomgqi", new F1<Lisp, Bool>() {
    Bool get(Lisp l) {
      ret isEmpty(getThoughtSpace(l.raw(0)).statements);
    }
  });
  
  // X contains Y (thought space)
  lispEvaluator("unfiqixlxwqnomcs", new F1<Lisp, Bool>() {
    Bool get(Lisp l) {
      ret getThoughtSpace(l.raw(0)).containsStatement(l.get(1));
    }
  });
  
  // Add (X) to Y. (thought space)
  lispExecutor("matnhiruhwprdiir", voidfunc(Lisp l) {
    getThoughtSpace(l.raw(1)).addStatement(l.get(0));
  });
  
  // Apply always rules in X. (thought space)
  lispExecutor("bcypplfticghlkxy", voidfunc(Lisp l) {
    thoughtSpace(getThoughtSpace(l.raw(0));
    try {
      applyAlwaysRules(100);
      //print("After always rules: " + struct(keys(thoughtSpace().statementsIndex)));
    } finally {
      thoughtSpace(null);
    }
  });
}