Footnotes

 

(1)

The coordinator's preference here would be to use `P(...)' for input and display as `P(...)'; but objections have been raised about this confusing the intension of a predicate with its extension (which is indeed an element of the indicated power set, according to the CASL semantics). Other rejected alternative include `...->? true', `...-> truth', and just listing the argument sorts (separated by `×' or by some neutral symbol such as `<>').  

(2)

We should perhaps avoid the terminology `existential equation' in the Summary, as it could get confused with existential quantification.