Co-constraintUseCaseTemplate
Frammin' on the zots (a co-constraint use case)
Provide one-line (one-para, really) description of the use case here.
Source: (identify the source, with URI, or if this is just you, say who you are)
Other use cases: Co-constraint Use Cases.
Description
Provide full description of the use case here, preferably with concrete examples of declarations and/or instances.
<!--* examples go here *-->
Analysis
(Add your analysis here; see your name in pixels!)