exact constraint