core_sos_tac: SUBPROOF body operates on subgoal 1; tuned;
core_sos_tac: SUBPROOF body operates on subgoal 1;
tuned;

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