Correspondence systems [as constraints]
For a discussion of a class of 1D systems based on constraints see page 757.