Exact constraint