Rule: put \mbox around premises/conclusion to avoid problems with super/sub-scripts.
Rule: put \mbox around premises/conclusion to avoid problems with
super/sub-scripts.

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