Done strong constraint