valid_facts: more elementary version using Facts.fold_static;
valid_facts: more elementary version using Facts.fold_static;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle