static Cache<L<Statement>> loadTruth_cached_cache = new Cache(f loadTruth);

static L<Statement> loadTruth_cached() {
  ret loadTruth_cached_cache.get();
}

static void loadTruth_clearCache() {
  loadTruth_cached_cache.clear();
}

static void loadTruth_clearCache(double seconds) {
  loadTruth_cached_cache.clear(seconds);
}