add another Core constraint