Footnote
The structure of the HIPPARCH approach has much to contribute to the
characterization of OI. At a high enough level of abstraction the
specification of application constraints constitutes a meta-interface, but
it is very different in nature than the other meta-interfaces described in
this paper.