removed needless robustness (no longer needed thanks to new syntax)
removed needless robustness (no longer needed thanks to new syntax)

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