complete constraint in the paper