constraint copulation