append special boring facts rather than prepend them, to avoid confusing E's weighting mechanism
append special boring facts rather than prepend them, to avoid confusing E's weighting mechanism

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