Tidying, and getting rid of SELECT_GOAL (as it does something different now)
Tidying, and getting rid of SELECT_GOAL (as it does something different now)

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