SPASS has more Uppercase keywords than I was fearing -- better always append _
SPASS has more Uppercase keywords than I was fearing -- better always append _

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