conclude_goal: precise goal context, include all sorts from context into statement,  check shyps of result;
conclude_goal: precise goal context, include all sorts from context into statement,  check shyps of result;

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