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!)

---