CONSTRAINT COPULATION