note on exclusion constraint