scheme/constraints.scm