-- terms are fully typed. -- only the top-level boolean terms are predicates.
-- terms are fully typed.
-- only the top-level boolean terms are predicates.

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