static void useConceptsAndStatements(S concepts, S statements) {
  useConcepts(concepts);
  useFacts(statements);
}