more explicit syntax, to avoid misunderstanding of foo-bar as 3 separate arguments;
more explicit syntax, to avoid misunderstanding of foo-bar as 3 separate arguments;

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