coinduct: instantiation refers to suffix of main prop (major premise or conclusion); tuned;
coinduct: instantiation refers to suffix of main prop (major premise or conclusion);
tuned;

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