no need for existential witnesses for sorts in TFF and THF formats
no need for existential witnesses for sorts in TFF and THF formats

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