prefer Binding.name_of over Binding.print -- the latter leads to funny quotes and markup within the constructed term;
prefer Binding.name_of over Binding.print -- the latter leads to funny quotes and markup within the constructed term;

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