ident: naive caching prevents potentially slow external invocations; tuned comments; tuned;
ident: naive caching prevents potentially slow external invocations;
tuned comments;
tuned;

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