'also'/'moreover': do not interfere with current facts, allow in chain mode;
'also'/'moreover': do not interfere with current facts, allow in chain mode;

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