another unilateral constraint check