no need to filter tautologies anymore -- they are prefiltered by "all_facts"'
no need to filter tautologies anymore -- they are prefiltered by "all_facts"'

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