sprintf "CREATE INDEX %s_no ON %s (no);" name name]
let sprintf_count_index name = [
-sprintf "CREATE INDEX %s_source ON %s (source);" name name;
sprintf "CREATE INDEX %s_conclusion ON %s (conclusion);" name name;
sprintf "CREATE INDEX %s_hypothesis ON %s (hypothesis);" name name;
sprintf "CREATE INDEX %s_statement ON %s (statement);" name name]