static L<S> mL_facts() {
  ret concatLists(mL("Random facts"), mL("Derived facts"));
}