Bad miker ... correcting exclusion constraint definition