svoid emitFact(S fact) {
  emit(pair('fact, fact));
}