But both are seen as models, in the mathematical sense, for type-specific collections of constraints.
we expected to assemble the separate components into a prototype system, after a few years of work.