meson method MUST NOT use all safe rules, only basic ones for the logical connectives.
meson method MUST NOT use all safe rules, only basic ones for the logical connectives.

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