the new SPASS gives accurate fact information, so no need for old hack anymore
the new SPASS gives accurate fact information, so no need for old hack anymore

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