@arkusovich: constraint